161. Software engineering
Author: Oscar Nierstrasz, Michel Lemoine (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.
162. Software engineering :
Author: M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.
Classification :
QA76
.
9
.
H84
163. Software quality :
Author: Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Quality control, Congresses.,Computer software-- Quality control.
Classification :
QA76
.
76
.
Q35
164. Speech and computer :
Author: Miloš Železný, Ivan Habernal, Andrey Ronzhin (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Computer science, Congresses,Computer vision, Congresses,Database management, Congresses,Information storage and retrieval systems, Congresses,Optical pattern recognition, Congresses
Classification :
QA75
.
5
.
I58
2013
165. Stabilization, safety, and security of distributed systems :
Author: Xavier Défago, Franck Petit, Vincent Villainches
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
Classification :
QA76
.
9
.
S54
S67
2011
166. Static analysis :
Author: Eran Yahav (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA76
.
6
167. System analysis and modeling :
Author: Ferhat Khendek, Reinhard Gotzhein (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.
Classification :
QA402
.
S26
2018
168. System level design from HW/SW to memory for embedded systems :
Author: Marcelo Götz, Gunar Schirner, Marco Aurélio Wehrmeister, Mohammad Abdullah Al Faruque, Achim Rettberg (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems, Congresses.,Computer hardware.,Computers-- Expert Systems.,Computers-- Hardware-- General.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Embedded computer systems.,Expert systems-- knowledge-based systems.,Software Engineering.,Systems analysis & design.
Classification :
TK7895
.
E42
169. System specification and design languages
Author: / Tom J. Kaazmierski, Adam Morawiec, editors
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
Classification :
TK7885
.
7
.
F35
2012
170. System specification and design languages
Author: Tom J. Kaźmierski, Adam Morawiec, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
Classification :
TK7885
.
7
.
F35
2010eb
171. System specification & design languages :
Author: edited by Eugenio Villar, Jean Mermet.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
Classification :
TK7885
.
7
E358
2003
172. Testbeds and research infrastructures for the development of networks and communications :
Author: Honghao Gao, Yuyu Yin, Xiaoxian Yang, Huaikou Miao (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Computer networks, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture.,Computer networks.,Parallel processing (Electronic computers)
Classification :
TK5105
.
5
.
T47
2018eb
173. Tests and Proofs
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Testing -- Congresses,Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,نرمافزار -- آزمایش -- کنگرهها,نرمافزار -- راستیآزمایی -- کنگرهها,روشهای صوری (کامپیوتر) -- کنگرهها
Classification :
E-Book
,
174. Tests and Proofs
Author: \ Jasmin Christian Blanchette, Nikolai Kosmatov (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Testing -- Congresses.,Computer software -- Verification -- Congresses.,نرمافزار -- آزمایش -- کنگره ها ,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
T48
2015
E-Book
,
175. Tests and proofs
Author: Achim D. Brucker, Jacques Julliand
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
76
.
T48
T37
2012eb
176. Theoretical and Practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5th 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
Author: Dennis Dams...]et al.[, )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
Classification :
QA
76
.
L28
Vol
.
1680
177. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
178. Theoretical aspects of computing -- ICTAC 2013 :
Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
179. Theory and Applications of Satisfiability Testing – SAT 2015
Author: \ Marijn Heule , Sean Weaver (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتمهای کامپیوتری -- کنگره ها ,نرمافزار -- راستیآزمایی -- کنگره ها ,الگوریتمهای کامپیوتری
Classification :
QA
76
.
9
.
A43
2015
E-Book
,
180. Theory and applications of satisfiability testing -- SAT 2019 :
Author: Mikoláš Janota, Inês Lynce (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
Classification :
QA76
.
9
.
A43
